Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 234 | 251 | 332 | 775 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 1.42 | 3.31 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.187 | 5.208 | 4.322 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 318 | 341 | 416 | 976 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 1.31 | 3.07 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.990 | 5.675 | 5.490 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 445 | 431 | 404 | 1382 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.97 | 0.91 | 3.11 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.003 | 6.424 | 13.497 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 343 | 335 | 339 | 1129 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 0.99 | 3.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.193 | 4.353 | 4.493 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 251 | 248 | 300 | 862 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.99 | 1.20 | 3.43 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.539 | 4.591 | 3.616 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 243 | 233 | 297 | 815 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.96 | 1.22 | 3.35 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.487 | 3.957 | 3.949 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 306 | 285 | 351 | 876 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.93 | 1.15 | 2.86 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.176 | 5.130 | 4.145 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 392 | 372 | 472 | 1011 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.95 | 1.20 | 2.58 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.995 | 7.624 | 4.913 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 654 | 655 | 670 | 2520 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.02 | 3.85 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 4.558 | 9.069 | 76.449 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 536 | 539 | 520 | 2267 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.97 | 4.23 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.514 | 7.329 | 77.506 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 423 | 429 | 437 | 2000 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.03 | 4.73 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.687 | 7.668 | 5.135 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 418 | 415 | 425 | 1950 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.99 | 1.02 | 4.67 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.630 | 5.551 | 4.390 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 413 | 410 | 439 | 1857 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.99 | 1.06 | 4.50 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.589 | 7.142 | 5.454 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-2) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 502 | 486 | 592 | 2000 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.97 | 1.18 | 3.98 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.619 | 7.984 | 6.056 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 609 | 598 | 672 | 2138 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 1.10 | 3.51 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 4.719 | 8.478 | 6.975 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 586 | 589 | 1242 | 5085 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.12 | 8.68 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.000 | 7.423 | 11.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 483 | 481 | 1183 | 2956 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.45 | 6.12 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.139 | 7.591 | 7.031 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 449 | 458 | 1176 | 2037 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.62 | 4.54 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.061 | 21.989 | 6.898 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 407 | 408 | 1240 | 2132 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.05 | 5.24 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.666 | 7.030 | 14.824 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 360 | 369 | 1340 | 4060 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 3.72 | 11.28 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.522 | 7.105 | 23.142 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 447 | 464 | 1464 | 5785 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 3.28 | 12.94 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.182 | 7.212 | 36.478 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 704 | 709 | 1317 | 7480 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.87 | 10.62 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.742 | 7.986 | 16.887 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 587 | 590 | 1250 | 5621 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.13 | 9.58 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.917 | 14.407 | 8.751 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 535 | 539 | 1232 | 4327 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.30 | 8.09 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.793 | 13.110 | 14.417 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 528 | 538 | 1260 | 3830 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.39 | 7.25 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.818 | 7.223 | 18.750 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 490 | 497 | 1353 | 4567 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.76 | 9.32 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.344 | 7.399 | 23.270 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 450 | 464 | 1463 | 6055 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 3.25 | 13.46 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.201 | 7.507 | 24.329 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 550 | 568 | 1614 | 8059 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.93 | 14.65 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.899 | 7.841 | 55.671 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 834 | 841 | 1410 | 9678 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.69 | 11.60 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 4.818 | 8.295 | 18.520 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 700 | 708 | 1326 | 8023 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.89 | 11.46 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.783 | 16.721 | 17.043 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 647 | 655 | 1302 | 7020 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.01 | 10.85 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.691 | 16.241 | 17.203 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 622 | 633 | 1316 | 6598 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.12 | 10.61 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.647 | 7.587 | 23.702 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 643 | 657 | 1370 | 6717 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.13 | 10.45 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.732 | 7.595 | 22.155 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 580 | 591 | 1472 | 6988 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.54 | 12.05 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.048 | 7.842 | 39.267 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 552 | 567 | 1616 | 8328 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.93 | 15.09 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.951 | 8.193 | 56.321 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 593 | 602 | 1241 | 4835 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.09 | 8.15 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.865 | 7.870 | 16.739 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 485 | 486 | 1182 | 2668 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.44 | 5.50 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.128 | 20.039 | 7.895 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 401 | 404 | 1117 | 1091 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.79 | 2.72 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.534 | 19.153 | 8.844 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 347 | 347 | 1169 | 916 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.37 | 2.64 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.165 | 19.521 | 9.514 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 293 | 297 | 1244 | 1955 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 4.25 | 6.67 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.052 | 7.104 | 15.937 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 372 | 385 | 1351 | 3948 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 3.63 | 10.61 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.584 | 7.182 | 25.997 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 466 | 486 | 1468 | 5791 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 3.15 | 12.43 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.210 | 7.458 | 38.608 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 473 | 480 | 1175 | 2675 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.48 | 5.66 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.398 | 6.157 | 8.381 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 256 | 264 | 160 | 573 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 0.62 | 2.24 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.943 | 6.872 | 7.313 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 660 | 675 | 1322 | 6773 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.00 | 10.26 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.515 | 8.199 | 16.671 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 535 | 564 | 1256 | 4342 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 2.35 | 8.12 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.606 | 7.749 | 9.569 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 436 | 455 | 1245 | 2566 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 2.86 | 5.89 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.779 | 7.364 | 9.608 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 322 | 349 | 1306 | 2758 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 4.06 | 8.57 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.253 | 7.401 | 13.389 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 424 | 443 | 1402 | 4593 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 3.31 | 10.83 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.886 | 7.602 | 19.868 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 545 | 561 | 1511 | 7220 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.77 | 13.25 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.698 | 7.872 | 28.660 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 723 | 742 | 1448 | 12623 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.00 | 17.46 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.782 | 8.494 | 17.225 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 589 | 608 | 1441 | 9185 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.45 | 15.59 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.632 | 7.999 | 15.393 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 457 | 471 | 1440 | 7581 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 3.15 | 16.59 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.852 | 7.387 | 13.450 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 495 | 513 | 1516 | 9127 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 3.06 | 18.44 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.071 | 7.688 | 18.864 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 620 | 631 | 1601 | 11742 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.58 | 18.94 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.931 | 8.127 | 26.508 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 367 | 367 | 268 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.73 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.543 | 3.232 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 235 | 240 | 205 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.87 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.822 | 1.914 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | F | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
size | 372 | 351 | 15557 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 41.82 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.957 | 38.970 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | F | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
size | 564 | 503 | 12349 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.89 | 21.90 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.670 | 50.709 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 205 | 182 | 392 | 811 | 0 | 243 | 0 | 0 | 0 |
N.S. |
1 | 0.89 | 1.91 | 3.96 | 0.00 | 1.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.920 | 6.031 | 94.914 | 0.000 | 0.108 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 172 | 152 | 277 | 702 | 0 | 221 | 0 | 0 | 0 |
N.S. |
1 | 0.88 | 1.61 | 4.08 | 0.00 | 1.28 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.866 | 2.662 | 82.191 | 0.000 | 0.101 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 135 | 119 | 173 | 410 | 0 | 190 | 0 | 0 | 0 |
N.S. |
1 | 0.88 | 1.28 | 3.04 | 0.00 | 1.41 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.734 | 2.275 | 82.755 | 0.000 | 0.112 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 135 | 119 | 169 | 289 | 0 | 158 | 0 | 0 | 0 |
N.S. |
1 | 0.88 | 1.25 | 2.14 | 0.00 | 1.17 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.742 | 2.567 | 2.967 | 0.000 | 0.110 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 141 | 128 | 169 | 345 | 0 | 171 | 0 | 0 | 0 |
N.S. |
1 | 0.91 | 1.20 | 2.45 | 0.00 | 1.21 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.747 | 3.094 | 4.919 | 0.000 | 0.097 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 174 | 158 | 188 | 378 | 0 | 193 | 0 | 0 | 0 |
N.S. |
1 | 0.91 | 1.08 | 2.17 | 0.00 | 1.11 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.864 | 3.464 | 6.297 | 0.000 | 0.123 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 205 | 186 | 204 | 406 | 0 | 211 | 0 | 0 | 0 |
N.S. |
1 | 0.91 | 1.00 | 1.98 | 0.00 | 1.03 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.911 | 4.388 | 8.378 | 0.000 | 0.115 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 270 | 251 | 655 | 1141 | 0 | 279 | 0 | 0 | 0 |
N.S. |
1 | 0.93 | 2.43 | 4.23 | 0.00 | 1.03 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.492 | 8.725 | 152.413 | 0.000 | 0.106 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 237 | 223 | 399 | 891 | 0 | 259 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 1.68 | 3.76 | 0.00 | 1.09 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.458 | 6.024 | 148.730 | 0.000 | 0.114 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 196 | 187 | 293 | 756 | 0 | 223 | 0 | 0 | 0 |
N.S. |
1 | 0.95 | 1.49 | 3.86 | 0.00 | 1.14 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.292 | 5.416 | 150.155 | 0.000 | 0.108 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 196 | 189 | 191 | 652 | 0 | 211 | 0 | 0 | 0 |
N.S. |
1 | 0.96 | 0.97 | 3.33 | 0.00 | 1.08 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.311 | 3.515 | 150.117 | 0.000 | 0.101 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 200 | 192 | 175 | 268 | 0 | 177 | 0 | 0 | 0 |
N.S. |
1 | 0.96 | 0.88 | 1.34 | 0.00 | 0.88 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.327 | 4.379 | 4.358 | 0.000 | 0.108 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 204 | 199 | 189 | 380 | 0 | 207 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 0.93 | 1.86 | 0.00 | 1.01 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.310 | 4.135 | 6.615 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 237 | 227 | 206 | 408 | 0 | 227 | 0 | 0 | 0 |
N.S. |
1 | 0.96 | 0.87 | 1.72 | 0.00 | 0.96 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.469 | 4.783 | 8.287 | 0.000 | 0.108 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 270 | 255 | 228 | 436 | 0 | 247 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 0.84 | 1.61 | 0.00 | 0.91 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.476 | 5.097 | 10.327 | 0.000 | 0.108 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 319 | 302 | 697 | 1381 | 0 | 299 | 0 | 0 | 0 |
N.S. |
1 | 0.95 | 2.18 | 4.33 | 0.00 | 0.94 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.928 | 10.426 | 507.766 | 0.000 | 0.107 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 286 | 267 | 655 | 1219 | 0 | 279 | 0 | 0 | 0 |
N.S. |
1 | 0.93 | 2.29 | 4.26 | 0.00 | 0.98 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.853 | 9.443 | 507.221 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 253 | 243 | 302 | 985 | 0 | 259 | 0 | 0 | 0 |
N.S. |
1 | 0.96 | 1.19 | 3.89 | 0.00 | 1.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.739 | 7.530 | 497.910 | 0.000 | 0.117 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 253 | 239 | 279 | 939 | 0 | 253 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 1.10 | 3.71 | 0.00 | 1.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.683 | 5.617 | 494.829 | 0.000 | 0.114 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 251 | 243 | 221 | 704 | 0 | 239 | 0 | 0 | 0 |
N.S. |
1 | 0.97 | 0.88 | 2.80 | 0.00 | 0.95 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.710 | 4.168 | 494.778 | 0.000 | 0.107 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 257 | 251 | 218 | 360 | 0 | 213 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 0.85 | 1.40 | 0.00 | 0.83 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.707 | 4.311 | 5.652 | 0.000 | 0.111 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 253 | 243 | 206 | 408 | 0 | 227 | 0 | 0 | 0 |
N.S. |
1 | 0.96 | 0.81 | 1.61 | 0.00 | 0.90 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.676 | 5.420 | 8.059 | 0.000 | 0.103 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 286 | 278 | 228 | 436 | 0 | 247 | 0 | 0 | 0 |
N.S. |
1 | 0.97 | 0.80 | 1.52 | 0.00 | 0.86 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.888 | 5.229 | 9.522 | 0.000 | 0.121 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 319 | 306 | 250 | 464 | 0 | 267 | 0 | 0 | 0 |
N.S. |
1 | 0.96 | 0.78 | 1.45 | 0.00 | 0.84 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.954 | 6.083 | 15.468 | 0.000 | 0.160 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 232 | 193 | 685 | 776 | 0 | 333 | 0 | 0 | 0 |
N.S. |
1 | 0.83 | 2.95 | 3.34 | 0.00 | 1.44 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.970 | 9.366 | 48.243 | 0.000 | 0.112 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 190 | 163 | 651 | 459 | 0 | 302 | 0 | 0 | 0 |
N.S. |
1 | 0.86 | 3.43 | 2.42 | 0.00 | 1.59 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.843 | 9.002 | 48.777 | 0.000 | 0.119 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 153 | 133 | 396 | 316 | 0 | 248 | 0 | 0 | 0 |
N.S. |
1 | 0.87 | 2.59 | 2.07 | 0.00 | 1.62 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.788 | 4.813 | 1.770 | 0.000 | 0.100 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 123 | 110 | 421 | 247 | 0 | 239 | 0 | 0 | 0 |
N.S. |
1 | 0.89 | 3.42 | 2.01 | 0.00 | 1.94 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.675 | 5.923 | 2.061 | 0.000 | 0.103 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 162 | 140 | 439 | 262 | 0 | 260 | 0 | 0 | 0 |
N.S. |
1 | 0.86 | 2.71 | 1.62 | 0.00 | 1.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.786 | 6.834 | 3.058 | 0.000 | 0.110 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 199 | 169 | 458 | 276 | 0 | 274 | 0 | 0 | 0 |
N.S. |
1 | 0.85 | 2.30 | 1.39 | 0.00 | 1.38 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.848 | 5.613 | 3.520 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 232 | 197 | 542 | 295 | 0 | 291 | 0 | 0 | 0 |
N.S. |
1 | 0.85 | 2.34 | 1.27 | 0.00 | 1.25 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.984 | 7.015 | 3.510 | 0.000 | 0.119 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 229 | 210 | 734 | 711 | 0 | 417 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 3.21 | 3.10 | 0.00 | 1.82 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.165 | 9.470 | 11.789 | 0.000 | 0.110 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 195 | 181 | 275 | 452 | 0 | 327 | 0 | 0 | 0 |
N.S. |
1 | 0.93 | 1.41 | 2.32 | 0.00 | 1.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.108 | 3.631 | 2.093 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 165 | 155 | 450 | 419 | 0 | 365 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 2.73 | 2.54 | 0.00 | 2.21 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.940 | 7.709 | 2.214 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 166 | 153 | 267 | 348 | 0 | 325 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 1.61 | 2.10 | 0.00 | 1.96 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.950 | 3.764 | 3.200 | 0.000 | 0.135 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 201 | 186 | 762 | 437 | 0 | 375 | 0 | 0 | 0 |
N.S. |
1 | 0.93 | 3.79 | 2.17 | 0.00 | 1.87 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.118 | 9.522 | 3.378 | 0.000 | 0.120 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 236 | 215 | 813 | 451 | 0 | 387 | 0 | 0 | 0 |
N.S. |
1 | 0.91 | 3.44 | 1.91 | 0.00 | 1.64 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.138 | 10.258 | 3.767 | 0.000 | 0.111 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 282 | 266 | 822 | 876 | 0 | 532 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 2.91 | 3.11 | 0.00 | 1.89 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.503 | 9.889 | 32.212 | 0.000 | 0.111 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 259 | 246 | 359 | 685 | 0 | 479 | 0 | 0 | 0 |
N.S. |
1 | 0.95 | 1.39 | 2.64 | 0.00 | 1.85 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.458 | 7.938 | 2.509 | 0.000 | 0.124 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 224 | 220 | 792 | 451 | 0 | 478 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 3.54 | 2.01 | 0.00 | 2.13 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.284 | 9.730 | 3.408 | 0.000 | 0.106 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 220 | 216 | 787 | 451 | 0 | 472 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 3.58 | 2.05 | 0.00 | 2.15 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.310 | 9.609 | 3.446 | 0.000 | 0.106 | 0.000 | 0.000 | 0.000 |